s:QOSet, a:|s|. (a <s a)  False 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	t  T, P  Q, x:A. B(x), DSet, A, False, QOSet,
Lemmas	qoset wf, set car wf, set lt wf, qoset lt irrefl